Your First AI Agent: A Clear, Practical Path
dev.toΒ·1hΒ·
Discuss: DEV
⚑Proof Automation
The Emacs thread-related code needs a maintainer
lists.gnu.orgΒ·5hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Guessing Game: Haskell Style
entropicthoughts.comΒ·1d
πŸ‘‘Dependent Haskell
On systematic construction of correct logic programs
arxiv.orgΒ·1d
βš–οΈHoare Logic
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.comΒ·20hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Implementing Forth in Go and C
eli.thegreenplace.netΒ·11hΒ·
Discuss: Lobsters, Hacker News, Hacker News
πŸ”—Concatenative Programming
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.netΒ·1d
πŸ¦€Rust Macros
TypeScript Cookbook β€’ Stefan Baumgartner & Peter KrΓΆner
youtube.comΒ·1d
🎯Gradual Typing
CLI Tools That Support Previews, Dry Runs or Non-Destructive Actions
nickjanetakis.comΒ·1d
πŸ›‘οΈCLI Security
Dependent types I β€Ί Universes, or types of types
jonmsterling.comΒ·8hΒ·
Discuss: Hacker News
πŸ”€Type Theory
Interesting Technique to Launch a Shellcode, (Wed, Aug 27th)
isc.sans.eduΒ·9h
πŸ›‘οΈCLI Security
Over-Engineering Sleep
matt.blwt.ioΒ·3d
🐚Bash FP
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.deΒ·4hΒ·
Discuss: Lobsters, Hacker News
πŸš€Compiler Optimizations
The Lobster Programming Language
strlen.comΒ·1dΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming
Generating C functions and prototypes using macros – part 2
subethasoftware.comΒ·1d
πŸ¦€Rust Macros
Trying to get error backtraces in rust libraries right
iroh.computerΒ·22hΒ·
Discuss: Lobsters, Hacker News, r/rust
πŸ”’Linear Types
OpenBSD-Based Home Network: Router, Self-Hosting & Mesh Setup
discoverbsd.comΒ·1d
πŸ”ŒOperating system internals
(繁中) The Art of PHP β€” My CTF Journey and Untold Stories!
blog.orange.twΒ·12h
πŸ‡¨πŸ‡³Chinese Computing
Song recommendations with F# free monads
blog.ploeh.dkΒ·2d
πŸ”—Functional Compilers
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.ioΒ·2hΒ·
Discuss: Hacker News
πŸ“¦Container Security